\begin{theorem}
  #select##insertion#
\end{theorem}

